home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / prlgbnc1.lha / Bench / README < prev    next >
Text File  |  1990-08-15  |  2KB  |  49 lines
  1.  
  2. This package contains the benchmarks that were used in the papers:
  3.  
  4.   "Fast Prolog with an Extended General Purpose Architecture", by Bruce Holmer
  5.   et al (holmer@ernie.berkeley.edu), 17th International Symposium on Computer
  6.   Architecture, May 1990.
  7.  
  8.   "The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler",
  9.   by Peter Van Roy (vanroy@ernie.berkeley.edu) and Alvin Despain, 1990 North
  10.   American Conference on Logic Programming, October 1990.
  11.  
  12. The package contains 26 programs, grouped into "small" and "large".  All
  13. program sizes are in lines of code excluding comments.  The programs have been
  14. run on Quintus Prolog, C-Prolog, and Aquarius Prolog, a new system under
  15. development at Berkeley.  The programs are to be run as is, with all built-in
  16. predicates *including* write/1 and nl/0.
  17.  
  18. Small Program     Size    Description
  19.  
  20. nreverse.pl      10    Naive reverse of a 30-element list.
  21. tak.pl          15    Recursive integer arithmetic.
  22. qsort.pl      19    Quicksort of a 50-element list.
  23. log10.pl      27    Symbolic differentiation.
  24. ops8.pl            27    Symbolic differentiation.
  25. times10.pl      27    Symbolic differentiation.
  26. divide10.pl      27    Symbolic differentiation.
  27. serialise.pl      29    Calculate serial numbers of a list.
  28. queens_8.pl      31    Solve the eight queens puzzle.
  29. mu.pl          33    Prove a theorem of Hofstadter's "mu-math".
  30. zebra.pl      36    A logical puzzle based on constraints.
  31. fast_mu.pl      54    An optimized version of the mu-math prover.
  32. query.pl      68    Query a static database (using integer arithmetic).
  33. poly_10.pl      86    Symbolically raise a polynomial to the tenth power.
  34.  
  35. Large Program     Size    Description
  36.  
  37. crypt.pl      64    Solve a simple cryptarithmetic puzzle.
  38. meta_qsort.pl      74    A meta-interpreter running qsort.
  39. prover.pl      81    A simple theorem prover.
  40. browse.pl      92    Build and query a database.
  41. unify.pl     125    A compiler code generator for unification.
  42. flatten.pl     158    Source transformation to remove disjunctions.
  43. sdda.pl          273    A dataflow analyzer that represents aliasing.
  44. reducer.pl     301    A graph reducer based on combinators.
  45. boyer.pl     377    An extract from a Boyer-Moore theorem prover.
  46. simple_analyzer.pl 443    A dataflow analyzer analyzing qsort.
  47. nand.pl         493    A logic synthesis program based on heuristic search.
  48. chat_parser.pl    1138    Parse a set of English sentences.
  49.